The History of Philosophical and Formal Logic by Alex Malpass Marianna Antonutti Marfori

Author:Alex Malpass,Marianna Antonutti Marfori [Marfori, Alex Malpass and Marianna Antonutti]
Language: eng
Format: epub
ISBN: 9781472507174
Publisher: Bloomsbury UK
Published: 2017-04-04T00:00:00+00:00

•a unary operation ¬

•two binary operations (join) and (meet)

•two (distinct) elements 0 and 1

such that for all a, b, c ∈ A the following axioms hold:

• commutativity:

a b = b a

a b = b a

• associativity:

a (b c) = (a b) c

a (b c) = (a b) c

• distributivity:

a (b c) = (a b) (a c)

a (b c) = (a b) (a c)

• special laws I:

a 0 = a

a 1 = a

• special laws II:

a ¬a = 1

a ¬a = 0

It is not uncommon to find a Boolean algebra defined in terms of the closely related concept of a ring. In abstract algebra, a (Boolean) ring is defined as a set X with:

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.